Intuitionistic logic - PDFSEARCH.IO - Document Search Engine

Intuitionistic logic
Results: 208

#	Item
161	A Tutorial on Proof Theoretic Foundations of Logic Programming Add to Reading List Source URL: cs.bath.ac.uk Language: English - Date: 2007-12-18 10:38:39 Proof theory Propositional calculus Non-classical logic Deduction Automated theorem proving Sequent calculus Natural deduction Admissible rule Intuitionistic logic Logic Mathematical logic Mathematics
162	MUltseq: Sequents, Equations, and Beyond? Angel J. Gil1 and Gernot Salzer2 1 Universitat Pompeu Fabra, [removed] 2 Add to Reading List Source URL: www.logic.at Language: English - Date: 2001-07-23 13:39:33 Non-classical logic Logic in computer science Propositional calculus Sequent Intuitionistic logic Many-valued logic Admissible rule Natural deduction Mathematical logic Logic Proof theory
163	Research Statement Jason Reed Research Agenda Motivations Mathematics succeeds when it builds bridges: a result connecting one approach (or one entire field Add to Reading List Source URL: jcreed.org Language: English - Date: 2009-10-03 17:18:21 Non-classical logic Logic in computer science Type theory Dependently typed programming Automated theorem proving Logical framework Frank Pfenning Natural deduction Intuitionistic logic Logic Mathematical logic Mathematics
164	The Focused Constraint Inverse Method for Intuitionistic Modal Logics Sean McLaughlin and Frank Pfenning Carnegie Mellon University Abstract. We present a focused inverse method for proof search in a variety of Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-25 08:50:19 Philosophical logic Model theory Deduction Modal logic Natural deduction Admissible rule Entailment Curry–Howard correspondence Kripke semantics Logic Mathematical logic Proof theory
165	Focus-preserving Embeddings of Substructural Logics in Intuitionistic Logic Jason Reed∗ University of Pennsylvania Philadelphia, Pennsylvania, USA Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-01-19 08:28:42 Proof theory Philosophical logic Deduction Propositional calculus Natural deduction Linear logic First-order logic Substructural logic Modal logic Logic Mathematical logic Non-classical logic
166	Anti-Realist Classical Logic and Realist Mathematics Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne October 13, 2009 Add to Reading List Source URL: consequently.org Language: English - Date: 2009-10-13 01:54:21 Semantics Proof theory Quantification Propositional calculus First-order logic Interpretation Intuitionistic logic Well-formed formula Atomic formula Logic Mathematical logic Predicate logic
167	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
168	CLF: A logical framework for concurrent systems Thesis Proposal Kevin Watkins Carnegie Mellon University Committee: Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2003-05-13 12:40:00 Type theory Theoretical computer science Non-classical logic Dependently typed programming Logical framework Intuitionistic logic Frank Pfenning Dependent type Natural deduction Mathematical logic Logic Logic in computer science
169	Applications of inductive definitions and choice principles to program synthesis Ulrich Berger and Monika Seisenberger {u.berger,csmona}@swansea.ac.uk University of Wales Swansea Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 17:59:13 Structural induction Mathematical proof Mathematical induction Well-quasi-ordering Axiom of choice Recursion Intuitionistic type theory Well-founded relation Bar induction Mathematics Mathematical logic Logic
170	Pluralism and the Foundations of Mathematics Geoﬀrey Hellman and John L. Bell Add to Reading List Source URL: www.tc.umn.edu Language: English - Date: 2010-01-13 16:46:14 Mathematical constructivism Philosophy of mathematics Intuitionism Epistemology Non-classical logic Constructivism Intuitionistic logic Set theory Foundations of mathematics Logic Mathematical logic Mathematics

UPDATE